大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Microprocessor Applications in Marine Control Systems (1980) 的图书(共10948本)

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II

0
索取号：
作者：Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I

0
索取号：
作者：Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Sim茫o、 Adenilso.、Maldonado、 Jos茅 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue [electronic resource] : International Workshops AICOL-I/IVR-XXIV Beijing, China, September19, 2009 and AICOL-II/JURIX 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers

0
索取号：
作者：Casanovas、 Pompeu.、Pagallo、 Ugo.、Sartor、 Giovanni.、Ajani、 Gianmaria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Web Information Systems and Mining [electronic resource] : International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings

0
索取号：
作者：Wang、 Fu Lee.、Gong、 Zhiguo.、Luo、 Xiangfeng.、Lei、 Jingsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science [electronic resource] : 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

0
索取号：
作者：Sicilia、 Miguel-Angel.、Kop、 Christian.、Sartori、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Transport Systems Telematics [electronic resource] : 10th Conference, TST 2010, Katowice 鈥ճtro艅, Poland, October 20-23, 2010. Selected Papers

0
索取号：
作者：Mikulski、 Jerzy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ultra-high Frequency Linear Fiber Optic Systems [electronic resource]

0
索取号：
作者：Lau、 Kam.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Public Key Infrastructures, Services and Applications [electronic resource] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers

0
索取号：
作者：Martinelli、 Fabio.、Preneel、 Bart.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II

0
索取号：
作者：Quintela Varaj茫o、 Jo茫o Eduardo.、Cruz-Cunha、 Maria Manuela.、Putnik、 Goran D.、Trigo、 Ant贸nio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Lean Enterprise Software and Systems [electronic resource] : First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings

0
索取号：
作者：Abrahamsson、 Pekka.、Oza、 Nilay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

ENTERprise Information Systems [electronic resource] : International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I

0
索取号：
作者：Quintela Varaj茫o、 Jo茫o Eduardo.、Cruz-Cunha、 Maria Manuela.、Putnik、 Goran D.、Trigo、 Ant贸nio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ubiquitous Knowledge Discovery [electronic resource] : Challenges, Techniques, Applications

0
索取号：
作者：May、 Michael.、Saitta、 Lorenza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence and Intelligent Systems [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

0
索取号：
作者：Cai、 Zhihua.、Tong、 Hengjian.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.